Lógica formal y no formal

Autor: Martínez Rey, Aurora

Sección: INFORMÁTICA (LIBROS) - INFORMÁTICA (LIBROS) GRAL

42,00€ IVA INCLUIDO

Editorial:: -
Publicación:: 01/09/2023
Ver ficha completa

NO DISPONIBLE

Sinopsis

Este libro tiene como objetivo proporcionar a los estudiantes del grado de Ingeniería Informática herramientas y conceptos básicos tanto de la lógica formal como de la lógica no formal, junto con sus aplicaciones. Su propósito es ayudar al lector a adquirir habilidades de aprendizaje, razonamiento y formalización correcta. El texto consta de nueve capítulos que abarcan todos los aspectos necesarios para comprender la lógica en su totalidad. Cada capítulo incluye la teoría fundamental y, al final, se presentan una serie de ejercicios propuestos para despertar la curiosidad del lector e incentivar la práctica de la teoría expuesta. Los primeros capítulos del manual se centran en el desarrollo de la lógica formal, examinando tanto su sintaxis como su semántica. En los capítulos finales, se aborda la lógica no formal, proporcionando un enfoque práctico a esta parte de la lógica que, a menudo, resulta subjetiva para muchos. Además, se ofrece una visión completa de las aplicaciones de la lógica en el ámbito de la informática. La autora de esta obra es doctora en Ingeniería Informática y posee más de diez años de experiencia docente en el área de la informática, especialmente en ingeniería de sistemas, inteligencia artificial e ingeniería y gestión del conocimiento.

Más libros de Martínez Rey, Aurora

NO DISPONIBLE

GESTION DE LA INFORMACION Y DEL CONOCIMIENTO 2023
MARTINEZ REY, MARIA AURORA
42,00€ IVA INCLUIDO
NO DISPONIBLE

LÓGICA FORMAL Y NO FORMAL
MARTÍNEZ REY, AURORA
34,84€ IVA INCLUIDO